An Alpha-Maxmin Axiomatisation of Temporally-Biased Multiple Discounts

Temporally-Biased Sampling for Online Model Management

To maintain the accuracy of supervised learning models in the presence of evolving data streams, we provide temporally-biased sampling schemes that weight recent data most heavily, with inclusion probabilities for a given data item decaying exponentially over time. We then periodically retrain the models on the current sample. This approach speeds up the training process relative to training on...

An Intuitionistic Axiomatisation of Real Closed Fields

We give an intuitionistic axiomatisation of real closed fields, which has the constructive reals as a model. The main result is that this axiomatisation together with just the decidability of the order relation gives the classical theory of real closed fields. To establish this we rely on the quantifier elimination theorem for real closed fields due to Tarski, and a conservation theorem of clas...

An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC

Categorical models of the metalanguage FPC (a type theory with sums, products, exponentials and recursive types) are defined. Then, domain-theoretic models of FPC are axiomatised and a wide subclass of them —the non-trivial and absolute ones— are proved to be both computationally sound and adequate. Examples include: the category of cpos and partial continuous functions and functor categories o...

An Axiomatisation of Strong Negation and Relational Composition

The joint replenishment problem involving multiple suppliers offering quantity discounts

In this article, we deal with the problem of determining the economic operating policy when a number of items are to be procured from a number of suppliers offering different quantity discounts schedules. In such inventory problems, a fixed cost is incurred with each replenishment order, independent of the suppliers as well as the items involved in the order. Further, the item involves a minor ...